How to Make AADL Specification More Precise
نویسندگان
چکیده
AADL (Architectural Analysis and Design Language) is a textual and graphical language used to design and analyze software architecture of embedded real time systems. Many tools and models provide semantics and precise meaning for AADL architecture behavior. However, they are not supported by a well defined formal semantics. This paper suggets Rewriting Logic via its practical language Maude as an adequate formalism for modeling behavior concepts in an AADL architectural description. Besides, RT-Maude system offers a natural support to execute and prototype real-time object-oriented modules formalizing AADL architecture behavior composed of several communicating threads.
منابع مشابه
Definition, Semantics, and Analysis of Multirate Synchronous AADL
A number of cyber-physical systems are hierarchical distributed control systems whose components operate with different rates, and that should behave in a virtually synchronous way. Designing such systems is hard due to asynchrony, skews of the local clocks, and network delays; furthermore, their model checking verification is typically unfeasible due to the state space explosion caused by the ...
متن کاملFrom AADL to Timed Abstract State Machines: A verified model transformation
Architecture Analysis and Design Language (AADL) is an architecture description language standard for embedded real-time systems widely used in the avionics and aerospace industry to model safety-critical applications. To verify and analyze the AADL models, model transformation technologies are often used to automatically extract a formal specification suitable for analysis and verification. In...
متن کاملAvoidance of inconsistencies during the virtual integration of vehicle software
functional definition. This uses the results from the level above and models the common system specification. Based on these abstract functional definitions, the Functional Design Architecture of EAST-ADL can be used to model a system architecture and a detailed functional design as well. These levels capture information before module specification and implementation. After that, the more speci...
متن کاملTowards a verified transformation from AADL to the formal component-based language FIACRE
During the last decade, aadl is an emerging architecture description languages addressing the modeling of embedded systems. Several research projects have shown that aadl concepts are well suited to the design of embedded systems. Moreover, aadl has a precise execution model which has proved to be one key feature for effective early analysis. In this paper, we are concerned with the foundationa...
متن کاملVerification of Behavioral Properties of AADL Models
AADL is an aerospace standard for model-driven design of complex real-time embedded systems. Currently, behavioral properties of AADL models can be specified inside the system description using AADL concepts or outside it using external textual languages, and verified using schedulability analysis or (Time Petri Net-based) model-checking tools. This paper (1) proposes Visual Timed Scenarios (V ...
متن کامل